typed lambda-calculus
具型式之 λ 演算
热门查询
- deflator n. 紧缩指数；平减物价指数；扣除通货膨胀因素的价格指数
- clap n. 鼓掌；拍手声 vt. 拍手，鼓掌；轻轻拍打某人 vi. 鼓掌，拍手；啪地关上 n. (Clap)人名；(西、英)克拉普
- mack abbr. 军事空运司令部（Millitary Airlift Command） n. 老弟；老兄（常用作呼唤语）；橡胶雨衣 n. (Mack)人名；(德、意、法)马克；(英)麦克
- ich n. (Ich)人名；(越)益 （德）我要
- hemostatic n. [药] 止血剂 adj. 止血的
- hoarsely adv. 嘶哑地；刺耳地
- pured a. 纯粹的, 不掺杂的；纯净的, 洁净的；无垢的；清洁的
- Osgood [人名] [英格兰人姓氏] 奥斯古德来源于古诺斯语人名，含义是“神”(god)+部族名Gaut; [地名] [美国] 奥斯古德
- superstition n. 迷信
- wizardly adj. 神奇的，奇异的；男巫的；神汉的
- calendar n. 日历；[天] 历法；日程表 vt. 将…列入表中；将…排入日程表
- cutting edge n. 刀刃；最前列；优势 adj. 先进的 [网络] 切削刃；刃口；尖端
- professorship n. [劳经] 教授职位
- outdone v. 胜过；优于（outdo的过去分词）
- client n. [经] 客户；顾客；委托人
- spate n. 洪水；一阵；大雨；突然迸发
- hoar n. 灰白；白霜 n. (Hoar)人名；(英)霍尔 adj. 白的；灰色的
- stewed adj. 焦虑不安的；烂醉的；炖煮的 v. 用文火慢慢煨炖；使…焦虑不安（stew的过去分词）
- Britten 布里顿（人名）
- beatrice n. 比阿特丽斯（女子名）；碧翠斯（女子名）
